[Fix] Erroneous loopy definition