PHP custom widget displays n/a for users without role permissions on PHP code input format

Let me say, first, that I'm very excited about this module! For some time, now, I've been looking for a way to easily customize the navigation menu for roles with limited access to admin, and this does the trick nicely. I was particularly excited about the custom widgets which allow me to create my own menu bar items using PHP. However, there appears to be one hitch: if I enter PHP into a custom widget-- let's say <?php print "hello, world!" ?> and apply that widget to a role that does not have the permission to use the input format "PHP code", the widget displays as "n/a" for those users. I should add that it doesn't seem to make a difference if all user permissions for that role are set to on for the navigate module.

This was unexpected, as the permission (set in admin/settings/filters) should only affect usage of the format, not viewing of any content created with it. Unless I've missed something?

Any assistance greatly appreciated!