Is this behaviour documented? (Should it be documented?)