fix rendering of Java signatures