Small addition to bashrc