added debugging messages (for testing only)