documentation and debugging info