corrected avi's example