add nonempty test