fixes an error when using PHP5.4+