Fix for a porting mistake.