Fix about_modules koan

[#54145699]