fixes #81: improve documentation for aliasing