Fix old annotation syntax in module system spec

Annotation argument lists now require surrounding parentheses (#585).
Merge pull request #1035 from lucaswerkmeister/fixAnnoSyntax

Fix old annotation syntax in module system spec