Removed TODO after verifying with JJ.

Closes #65.