minor whitespace, make lint happier.