Remove erroneous use of `nonempty`