Fix long-standing but hitherto unknown bug that resulted in an unnecessary regrading of all coderunner questions on quiz submission.