Version 1.5.2: Bug fixes.