Fix a small syntax problem in .profile