Hardened API regarding #8.
Added missing javadoc.