The book(DevSpec User Guide) whose bookidentifier(DevSpecUserGuide10_1) wasn't synced.