little bugfix in is_extended_by