fixed another typo (antiderivatives)