I have 3 African dwarf frogs in a 20 gallon with some cherry shrimp and rasboras. One of the frogs has this redness on his face with a bump. I think it might be from him hitting his head but I'm not...