I deleted the comment. Sorry if it sounded pedantic.
Keep up the good work.