Removed useless \todo{}.