Type annotation fixed