Style adjustments

A few minor style tweaks.