Fixes in Julia Manual