Version number update for 5.1.2