nullpointer safety for a reported bug