theme('r4032login_denied') is not used

When the setting "Redirect authenticated users to" is empty, the module is supposed to render the result of theme('r4032login_denied') for 403 error, but it is not, instead the default error message from common.inc is rendered (it happens to be the same as the default theme('r4032login_denied') result, so unless you changed the theme('r4032login_denied') you won't notice).

The problem is the code

return drupal_set_page_content(theme('r4032login_denied'));

drupal_set_page_content doesn't return anything, so this makes the return of r4032login_redirect empty.