Code as in release 0.8.6