This issue is unclear. It also needs to be documented elsewhere.