added debugging lines