Fixes #12: just added a separate exit point for the NONE probability type