debugging info: minor visual change