changed debugging for convenience