Compatibility fix for commit on 2020-09-28 (php < 5.4)