Please don't require PHP 5.4