Added helpers needed by navigation designer