Yup, totally correct and really not that pedantic. I realized that about two hours later when I reviewed my own comment and promptly punched myself…