Copy-pasta.  Also, let's not bother repeating module names.  It's already in the filename and -module.