minor fixes
hand out verified