printing added for debugging