minor fix: