Defined a missing constructor function; added a module header