Fix module name in top comment

A bit of rubbish to update while I notice it.