Bug or Feature? Plugin removes menu item but not functionality.

Guys, hopefully this is just a quick question... I've installed the plugin with no problems, everything worked as advertised: "Permalink" menu item disappeared, so I was thinking: Yeee, I will be in control of my networks permalink structure, not the users....

... and then I went to http://dev.server.com/user/wp-admin/options-permalink.php and noticed that even though "Permalink" menu link is not there, users are still able to change their permalink structure by accessing Permalink panel directly (ie: typing the url).

So, my question is: Is this an oversight or is it expected behaviour for the plugin??