Update readme and specification.