Fix an error while computing a @behavior ID.