Convert stray always @*