Cross-platform compatibility

Just a small one to improve compatibility across platforms.