Make hidden properties really hidden (#16)