Fixed bug: not all html files were listed in spine