minor changes to get last github pull to work.