Excellent catch! Sorry, I wrote the original buggy code :(