Revision to Using-Lantern.rst