Permit whitespace in additional positions

Particularly within and around records.