Fix comment on `is_a`