Remove autogen files and update notation.