fix for 3.13.0