various small corrections