typos
Merge branch 'devel' into dim_genus_symbols