Fixed error in User library

See diff & comment