Fixed for php 5.4.16