Work around "only one module identifier..." error

(This might be promoted to a fix; we'll see.)