one ; is sufficient

Change-Id: I52d00d5092a84a544f809ad066cb825b8ad6338f