Minor formatting nitpick;  remove errant semicolon