Minor styling polish.