Remove obsolete TODO comments

Remove comments referring to #113 and #115 which were fixed long ago.