Small correction to sem session