FIx instructions for bash prompt