tested it with some garbage text to be really sure. php documentation
also says its like this. can be nasty if you have a typo in an
instanceof however...