fixed noweb syntax error