Comments in the declaration of a module are not highlighted

Comments (either // or /*) in the same line as module ...(...) are not marked as such.