fix bug in output