I don't know why this does what it does, except that it fixes #672.
I don't know why this does what it does, except that it fixes #672.

ucam-cl-dtg/isaac-app,ucam-cl-dtg/isaac-app,ucam-cl-dtg/isaac-app,ucam-cl-dtg/isaac-app