Fix missing Pygments syntax coloring of the `module/2` opening directive