fixed #778: minor bug fixed