Written because I thought we had a bug there, but it turns out everything is fine.
Thought it would be useful anyway.
