remove unneeded ; in comment