Yes, but I think it is better to keep all the documented behavior at one place. These comments would become tedious had the example been a bigger one or if the file size grows in the future. 
Another thing which we can do is to reduce the clutter of these comments into a short and crisp one line comment which would be better to the eyes while reading the code...WDYT?