a minor update

see commit message for details