fix last little issue in #680