Fix compliation broken by 5ccaba82df06825b990ed0ef38ba0b4a765a8338