This resolves #3