Yeah, that's the case here. I'm thinking the source pin may end up soldered to bottom side copper somehow (e.g. loose copper foil?). Bottom side copper being clamped (preferably with help of EMI gasket) to the heatsink (non anodized, as mentioned!) would be okay as well.
Tim