Fix record constructors

Fixing #40.

Only touches Gibiansky style.