Updated docs with info on debugging