Closed KWARC/mws-frontend#16