Diverse formatting fixes