fixing another error in php 5.3