Very minor stylistic thing