fix what looks to be a copy-paste error or type