Add recon marker to BFT

Also remove semicolons for return values

(#1595)