Use preferred header style

Fixes an FTBFS.

Signed-off-by: Luís Pereira <luis.artur.pereira@gmail.com>