records definition in types changed