0cc91cc6d8
Fixed some style bugs while I'm here (don't override the (correct) default for MAN1).
Fixed some style bugs while I'm here (don't override the (correct) default for MAN1).