slight amendment to bash_aliases