Fixes #4855: correct more strict cheking of specs2