remove unneeded ';