using namespaces (adapting to php 5.3)