fix for SpeelmanLib