Oops, fix code example.