I think this extra blank line is spurious?