fix problem with greater()