More whitespace fixes in push test