Merged in fix-arrow-keys (pull request #8)

2019-03-08, Gary Kramlich