fix for coverity (O. Busch)