Small manual corrections.