Another otherwise empty commit to note that this branch

resolves #13