In four locations, `# type: ignore` is added. The question is, should these be fixed or left? Maybe simplified?