fix a simple bug