Typo fix (followup to 4ed256b517eac5b068c7af35ea91def9d04ed10d)