switched to php short tag echo since in 5.4 it's always available (and most other systems)