minor fix: type