new syntax
Revert "Rely on verification tool"

This reverts commit f49b257af68ba96ff8b6ef02ff5e254fae01e462.
Missed a spot