Add an upper bound on lens <3.9