Fix a couple of privacy errors.

A bug in Rust had caused these to work hitherto despite being private.