DHCP - assign a fixed ip adress to a particular host

Been a while.. So, today I had to assign a fixed ip adress to one particular host, 'cause I had to make host-specific firewall rules, and make sure user doesn't get around them as easily as getting a new DHCP ip address. Here's a config I used (thanks to wikipedia)

host saturn {
 hardware ethernet 00:50:04:53:F8:D2;
 fixed-address 192.168.42.3;
}