resolves #13