Fix error

Works on php 5.3