fixed a bug in the display of the -d option