Fix #286: fix doc about formats