@WouterJ php is sloppy enough to accept a non-existing class in that place.