Module doc generation: handle the case for 0 options