Minor updates, mostly cosmetic