Thanks; that's good to know. Thank you also for jsonlint.com; great tool.