Minor JBoss corrections