Minor fix (for the last commit).