Made code parsable by mypy