Resolves #12.