Changed syntax to be compatible with older versions of PHP