Changed record constructor