minor cosmetic change to fix syntax highlighting in my editor