Is this a fix for that issue you mentioned in phpBB?