Maarten's fixes.