Fix broken checkpoint macro