Recuerde que los comentarios en los ficheros de opciones por defecto comienzan con el carácter“!” en vez del típico “#”.