Consistently use \secref