fixing bug with minus sign in user guide