Trying to resolve a Github issue that resulted from an amend commit I made…