Board Thread:Editing Discussions/@comment-73.164.89.65-20150803222759/@comment-6697950-20150804024117

Yes, you're right. Someone miscategorised. Now it's fixed. Thank you for bringing it to my attention, though it would be nice if you were more specific where you found the error next time.