Various small comments