minor fix before I forget