minor editorial twiddles