a bug from logback