Minor edits -- HJB