It this comment a result of copy-pasting?