Minor: remove the extra line here