Corrected documentationof polymulx