Actually, the original issue is not fixed. Only an issue found by the way, see comment 1 for details.