Simple assertion added