Small bug with HTML export and printing was fixed