minor modifications
Merge branch 'HEAD' of https://github.com/tonimichel/webkitpony.git