small syntax changes to BJ