debugged problems observed by Dave