Avoid problems in the server (probably due to an older PHP version)