porting error

A possible copy/paste error when porting.