VERY minor code-cleanup change.