[doc/fix] bad filename