Minor changes to be compatible with version 4.01 (level 15)