Merge branch 'rs/pretty-use-prefixcmp'