Minor change in CrabHelpers