Fix flaky spec

Signed-off-by: Michael Fraenkel <fraenkel@us.ibm.com>