fleshing-out some minor details;