hbck lists a dead server, but it is only restarted

[Ferdy Galema]

With HBase 0.90.1 (CDH3B4), whenever a regionserver is shutdown because 
of an error, I'll restart it using start-hbase.sh. After that the node 
is up and running again, but the hbck tool still lists a dead server. 
(Though it does list the correct amount of live servers.) Is this a bug?

Ferdy