sync with head
tweak assertions