various small fixes, corrections, notes