Fix upper bound of lens and bump version number