fix type in notation
flex out the notation more