Improved comments of filter.v