fixed the failing specifications