It bled quite a lot as head injuries do but is really only a superficial scratch. Do I need to get a tetanus booster? Last one was 21 years ago.