Added nonempty example