hmm, what used to be true does not seem to hold anymore on 2.10; so this might just be fine