Dont always hide constructions

Fixes #4635.