minor fixups

as discussed