Revert change to fix php 5.6