Sorry, the bug was tested in 2014-10-06 as stated in comment #5. Unfortunately the tags were not removed. Removing now.
Sorry, the bug was tested in 2014-10-06 as stated in comment #5. Unfortunately the tags were not removed. Removing now.