Print more options when dumping configuration