fix #445: license notation exactly