bugfix: print the right configuration