You're right, looks like a trap in the PHP doc :/