Yes, I checked that out too at the time, and so no harm either.