Small fix to output