PHP short tags are bad. Fixes #1