Fixes to definitions of filtration