fix type in notation