this assertion does not really belong there