fixing really dumb mistake in assumptions checking