Fix Ben's old coding style ... pwned!