Minor fix: unneeded extra line