This strikes me as a little weird, and I'm not entirely sure why it's designed like that. Anyway, not important wrt this PR.