Fixed a bug introduced in recent commits.