Update reader.v