Fix tildes in TODO