I think this semicolon is useless