mini-flags for #64