Version 0.5.13.1

Line ending normalized, no changes to the code itself