Update sema.go

Fix comment formatting