Minor fix to f4429ad