Removed space before ? according to http://www.w3.org/TR/WebIDL/#es-nullable-type