some more reader-related debugging