purely for debugging