Minor fix to 6ce1a46fac71af074250a2e5aaa25bed06402080