fix extra whitespace #5858