Further tiny comment improvements