minor changes to make it work on 1.3