Some typing derps