release 1.9.4, fix release notes formatting problem