Minor changes (comments mostly).