Use record constructor to fix compilation with GHC 7.8.3