Tiny code style improvements (to try out CI triggering)