add proper record constructors