minor fix on configuration