Small bugs, including erroneous output