a minor detail