Edit syntax in todo_spec