Fix bug which allows multiple provisional syllabuses on a module