There were objections when I wanted to add that very function before in #276.  I think it's fine to check explicitly for the thing we need.