prevent a rare NullPointerException