Obviate #122, get rid of extra semicolon