Minor aesthetic fix in output