Two tiny fixes I made while working on Tedit