PHP 5.6, closes #4