WEB: and yet again minor formatting