fix renaming default template arguments
NOTES file