Various small corrections