Replaced short PHP tag.