add nonempty option