fixing bash prompt bug