Modal corrected of type errors