Fixes #4860: accomodate change due to specs2 update