needn't flush here