Small corrections (typos/whitespace/...)