Fixes #2

The changes that are committed to the database using this modification are exactly those tags having multiple proofs. They moreover show up correctly on the website now. We should recheck the logic of this change, but it seems to be fine.