Small correction to config.m4.