This is an unrelated bug fix, but it's pretty harmless.