Revise fix for numeric-comp (#82)