The lens include is not likely required since it is in the Lens source file but it doesn't hurt to add it.