Fix another porting bug

I must have been sleeping...