Minor code-style adjustments.