Adding extra debugging utilities