Typo. Apparently I should use a larger terminal font.