typo corrected in get_known