Add missing semicolon in bash_profile