a bug with dot output is fixed