Minor changes; doc and index