Fixed bug #765: More robust tags list on filters for user stories