Small contribution to croc.html