fix #6175

bug in marking return type of void calls