fixed bug with At <-> Visited