; becomes '