for final debugging