get rid of unused code (fix #58)