Fix modulename assertion