Fix old annotation syntax in module system spec

Annotation argument lists now require surrounding parentheses (#585).