Remove TODO (thanks @lucaswerkmiester)