Minor modifications
Declaring a new record also declares an appropriate constructor