issue #70: boolean flags may have true default