Fixed small bugs in verbose options in filtrations