small fix to public