These three lines should be tabbed in under the debian tag.