Comment 2 for bug 1542166

Thanks Felix for reporting this bug. This bug has indeed being reported before and turned out to be a bug in the system. I am marking this as a duplicate of the original bug.