Minor fixes in Dev.Manual and Player.java