Thanks a lot. Typo fix will simply be accepted.