Eh, different behavior on different platforms? :(