Typo

Just a typo I have noticed blindly when copy&past-ing