bugfix on jspraat