add a trailing dot for github generation debugging