minor formatting fixes
add missing assertion