Use a logger rather than `System.err`? Or is this left-over debug code?