#88: remove unused code