fix CrabException capitalization #1030