modified typing