Fix a minor bug in Shark section