I assumed this was the case, but I had to ask.