fix a subtle problem