Fix pendingness of spec