corrected a mistyped label; few minor changes