fix non-DEBUG build (probably my fault, sorry)