php7.3 specific fix - v.0.3