Adding tag 0.99.13; hopefully for the last time...