fix a simple error