Ha, thanks for the correction, I've been giving the wrong name to Ken Thompson's game for years!