This won't work, but that's no concern for now; see #120