Fix fix doubled semicolon.