fixes to module declaration