I found another bug (for real this time)