Additional small corrections