Fixing coding style, fixes #926