prototype initialized with a record type fixes