Minor bugfix for Linux/Mac OSX.