Thanks for your comment. Possibly it could be a good thing to add to the wiki about this feature.
And no worries about this bug. Magic Lantern is still a great improvement on my 60D!
And no worries about this bug. Magic Lantern is still a great improvement on my 60D!