Fixing visibility issue reported by @TobiasLohner