add a TODO regarding the restoration of the type annotation