Fixed a bug in .out