Boost coverage #32