Fix a tiny bug in the RVM part of the prompt