Correct type signatures