This caveat can be removed, since it is no longer true on branch #365, which should be merged in soon.