Removed accidentally pasted code in a comment