I came to that conclusion too..
I have a 3.1" pulley that I was going to put on, but when you think of the parasitic loss on the supercharger, going to a smaller pulley (i.e. adding more parasitic loss) could easily push the actual power over the limit without you realising