Fix configuration name in documentation