Tiny code style changes