Actually put these declarations in the right place...