Lotto: missing headers