Correct type declarations