Added a stub for version 3.13