On the infinite differentiability of the free boundary in a Stefan problem