Use record constructor to work with GHC 7.8.3
Merge pull request #1 from asivitz/master

Use record constructor to fix compilation with GHC 7.8.3