Fix: bug with php 5.4