minimal fix for 3.14