Fixed a weird bug introduced by debugging output