Cheap and nasty workaround for records