Bug fix #11.