Minor improvement in static_assert