fix cut-n-paste mistake in error message (issue #81)