Some bug fixes for exists?