This is now redundant--this may have happened as a result of merging #1301