Deleted an extraneous blank line.