Inconsistency between versions of pda-mambot and pda-template.