Oops, wrong output file! Revert, revert!!!