Patch 1.4.2

Bug fixes

 * Fixed an infrequent crash bug which occurred during certain database queries.