Fix instructions for bash prompt