just a few whitespace / formatting fixes