increment release number; document hotfix for issue #3398