Nice catch! I really should be trying to do this in a platform neutral way. Will fix!