oh, you are right. at least in php 5.3 this would fail with "call to undefined method". fine then.