Tiny code styling fix