Fix a mistake: Related to issue #12.