stage: Use the correct types for debug note