kleine verbeteringen bij invarianten