another minor fix, this is getting old