Bug fix: do not display filter header line in empty database.