magic-lantern Minor documentation update