fix typo in previous commit
Merge remote-tracking branch 'devel/noX11' into devel-master