these semicolons seem extraneous, below too