bug: antenna list may return NullPointerException