Fix: Bug with php 5.4