Removed accidentally-pasted-in line