Small change to fit Zentyal coding style