wrong notation, see [HP-UX] instead...