Tidying up a few whitespaces