Delete todo since it has moved to #742