Minor bug fix
Reverted wrong merge f7e51a56d90821121eb214c90dc70ce1b259d84b
Minor kludge to be sure that '.' alias is redefined correctly