one report suffices; not yet clear there's a bug