; is now detected