Minor fix to comment from my previous commit.