Added forms for two func.specs.