Fix odd formatting that snuck into last patch.