Horribly stupid bug, whose fix possibly addresses https://github.com/ETHZLET/moodle-block_eduappup/issues/2