PHP OO: interface typo