Fixes #1041: HP in health bar different than in Stats

Pretty minor change, just getting a feel for the source tree.