Few small PHP fixes