#6 fix record extension

[Benoit Pierre]

As already reported [bugs:#37], the record extension got broken (by [r158]), the attached patch fixes the issue (without changing the API).