Hi!
A bug is a bug. Should be fixed, yes?
Technically it's NOT a bug. A bug makes game unplayable (it crashes, freezes,...). A glitch makes game behave differently as intended and affects gameplay. But this one... I'd say those few additional hitpoints are remains of a scaffolding the repair yard forgot to move away, when the ship was rushed back to active duty. 
BR, Iztok