No, read the comment you just responded to. I only did grading. It wasn't until I asked a friend of mine who was in the class what he thought of it and he responded: "Line numbers are a bitch" that I discovered what was going on. At which point I mentioned to the professor that she might want to bring up man pages.