Minor: aid to debugging