Fix error message for bottom-up check