php short fix