Minor prettification fixes.