Minor fix to those examples