Removed the, uh, documented bugs from the TODO file which we just rediscovered and fixed.