Haddock fix: record update -> lens