minor stylistic change in GenerateBC