automatically add the ;