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