small fix in the type