bugfix in APTRenderer.java