updated core to version 0.9.5. Some internal improvements.