Fix property keys in shell docs (consistent with appendix)

Fixes gh-1371