fix #1026
very minor
fix after merge