Fix up white space in a dprintf() message.