latest commit should silence it. let me know.
(it's a good trick for the two of us to have totally opposite preferences, and still make it all work)