doc/bugs/git_annex_copy_--fast_does_not_copy_files.mdwn

@@ -5,7 +5,7 @@ Workflow:
     % git commit -a -m "foo"
       # commit summary
     % git annex copy . --to remote --fast
-      # all files listed with "ok
+      # all files listed with "ok"
     % git annex copy . --to remote
       # again, lists all files, _but the new ones are actually copied, this time_.
 
@@ -14,3 +14,5 @@ This happens no matter if I
     % git push
 
 before copy or not.
+
+PS: Arguably, a copy should push automagically.