Minor text and code corrections