Minor edits to the read-only extension