added debugging note to DEVELOP.md