Ignore spurious warning

Review 1043 by @srh
Closes #1674