Tidied up bash_profile a bit