Workaround for logging bug (fix #362)