small, but hopefully useful changes