trivial cosmetic change for next commit