This changes the public API; does it have bad consequences? I guess it's only used by SFML internally but...