Removed some debugging lines accidentally left over; fixed the right numbers