Tomáš Müller updated an issue