Minor fix of PR 3128.