My cat has just bitten my 8yr old DD on the arm (unprovoked). She has punctured the skin but its not bleeding. Its come up in a little lump. I've cleaned it with some TCP. It shouldn't need any further attention should it? She's up to date with her tetanus (pre school boosters). Should I just keep an eye on it? We've all had plenty of scratches but never really been bitten.