[boost] Please don't overquote.