a slightly smaller sledgehammer, refs #1009