another php short tag corrected