More trivial styling changes.