Config.c:  bugfix for last change. appends option properly, and works with an empty section without core