fixed the failing specification