small fix on type of declarations in an interface