extra debugging information