commit post-Paul's preferences changes