Fix for < php 5.4.