Add settings to fix the behavior of 'man'