This is a follow-up to a corner case in #6.
This is a follow-up to a corner case in #6.