! fix a possible NullPointerException