I removed an erroneous character, and I have no idea how it got there.