Revision 0798c71946c5c4cf87738599d8cce554c3a0a41d

Committed on 06/09/2013 8:00 am by Pedro Resende <[email protected]> [GitHub Diff]

Minor fix in the filter