little bug fix made by merge