further small corrections