Minor typo bug (libsyntyche)