Fixed filename in basic module doc