Minor update, mostly cosmetic