dumb php fix