Cosmetic change to make compilers complain less about possible mistake