Fix a deprecation warning from lens