Merge branch 'rs/pretty-format-double-negation-fix'