Fix the Terminal Profile instructions for Ubuntu