I should've said "No pun intended", but just put up a smilie instead.