Make the assertion more explicit.