Print more options when dumping configuration

As mentioned in #363