fix typos, add instance existance assertions