Nisan comments on A note on the description complexity of physical theories

[Nisan]

I think you are correct.