Fix missing modules.html