Minor fixes, improvements, etc.
Fixed a minor error.