silenced yet some more debugging outputs