Fix incorrect function specification
Merge pull request #1 from jcomellas/jc-terminate-spec

Fix incorrect function specification