minor bug fixes for Status.h