Fix bit about initial value in sema