Fix favtree and now reading tree behavior on OS X