Tiny code style improvement