Ugly copy-paste, but oh well.