very minor cleanup. deleted stray character and line