WP: Small obvious style fixes