minor fix-ups
3 files changed