Fixed problem with wrong source level. Now fixed to 1.7.