Minor formatting and styling fixes