Update for proteus 0.9