no newline at end of file (this should have been caught by the linter, though; hm...)