Fix bug in declaration file.