Fix bug introduced in f263d1b2a41b8040967a5c5d03351f79beb63d22, fix #124.