Yes, I was implicitly saying that this should be stated in the documentation :)