Minor corrections, for a more coherent style.