fix a long-standing bug