minor detail for debugging