Realex: Correct AVS input format

Closes #754.