Type annotation to fix debug