Bug fix (old code left lying around).