Minor code formatting nits