This comment is a relic from somewhere else :) but I can make it a type