Update writer.v