Bug fix regarding BEAST-JPrIME compatibility