White-space fixes