modifications for debugging