Correction of naming error.

Fix #405