nothing interesting, just checkpointing + warning fix