Minor user output changes.