Fix old annotation syntax in module system spec

Annotation argument lists now require surrounding parentheses (#585).
Oops, that wasn’t. Shall I amend the commit to fix it?