Fix error introduced porting from 3.10