fix #719 and remove an obsolete section from spec