Add todo into spec.rst