Proper bounds on nbpp checking; resolves #67