is all this compliant with our code style?