Slaying a long-standing bug in SF