Fix name of vanilla RTS way in the user's guide