better filtering of Jenkins