Removed outdated TODO comment (cf. #2)