Maybe we should document this function a little bit; using shorthand code may cause confusion...