Minor tweak to sorin prompt.