[gpu4] Small bug