small fix to help output