This makes it more obvious what is going on. It would be possible to
type this accurately, but I judged the effort not currently worthwhile.