Fix bug in reading read-extensions.