any() was misused in one place, spotted by Kasper Daniel Hansen . Code cosmetics by Johannes Huesing .
