Bug? (Folding in a side pot)

[Who?]

I just had a hand in which I shared a side pot with another player. That player folded. Then the guy with the hand in the main pot won the game and took the whole pot. (I think.) I did not get any message about me taking home the side pot. Can somebody confirm this?