Fix #1348 for PHP <= 5.3