Fix small typo in modules.txt