Small fix for #147