Fixed problem in Random.h with too many colons.