Making a small edit for reb joh, instead of wrestling w/ problematic pull request