Check in the scalariform formatted source