Adding missing @constructor tag