Fixing small php bug.