small change in short_filter.hpp