config.c:  fixed bug #767