Shamelessly promote package version to 0.5.13 to make sure that npm does update it.