This is at most a debug statement.