fixed a failing specification