Some sources didn't go through Scalariform