WLS: minor tweak to the listings syntax highlighting.