Minor typo fix

introduced from 6ce0bf7cbf5edc622a8ccfbca226ffc825ca699e with #2314