small fixes for Allen