[#2212] CID60661:

Caught a boost error that should not occur