// take small bugfix into account when testing