typos
add assertions