fixing comments at the top of common/bash_prompt