This function seems to be redundant now.