Tweaked the spec to reveal possible bugs in private interface.